Перегляд за автором "Жереб, К.А."

Результати 1-19 з 19

Алгебро-динамические модели для распараллеливания программ

Дорошенко, А.Е.; Жереб, К.А. (2010)

Предложены алгебро-динамические модели и метод проверки корректности оптимизирующих преобразований для многопоточных программ и программ для графических ускорителей. Описано использование этих моделей с помощью техники ...
Використання засобів моделювання для визначення оптимальних параметрів виконання програм на відеографічних прискорювачах

Дорошенко, А.Ю.; Оконський, І.В.; Жереб, К.А.; Бекетов, О.Г. (Проблеми програмування, 2013)

Побудовано інструментарій моделювання гетерогенних Грід-систем з відеографічними прискорювачами gpusim, який використано для моделювання часу виконання гравітаційної задачі взаємодії N тіл, що залежить від параметру. Засоби ...
Двойственные оценки для задачи о максимальном К-клабе

Березовский, О.А.; Жереб, К.А. (2008)

Рассмотрены возможности формирования квадратичных постановок задачи о максимальном k-клабе и, соответственно, нахождения верхних двойственных оценок, получаемых с помощью техники Н.З. Шора. На примере задачи о максимальном ...
Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах

Оконський, І.В.; Дорошенко, А.Ю.; Жереб, К.А. (Проблеми програмування, 2013)

Запропоновані архітектура гнучкого та розширюваного інструментарію моделювання гетерогенних Грід-систем з відеографічними прискорювачами gpusim на базі Java-фреймворку GridSim та розроблений на її основі прототип. Проведена ...
Метод обратной семантической трассировки для контроля качества в гибкой разработке программных проектов

Павлов, В.Л.; Жереб, К.А.; Дорошенко, А.Е.; Сергиенко, В.И. (2008)

Метод обратной семантической трассировки предназначен для контроля качества программных проектов путем снижения рисков несоответствия требованиям входных и выходных артефактов на каждом этапе процесса разработки. В работе ...
Об оценке сложности и координации вычислений в многопоточных программах

Дорошенко, А.Ю.; Жереб, К.А.; Яценко, Е.А. (2007)

Предложен метод оценки вычислительной сложности алгоритмов на основе алгебраического подхода. Разработана методика применения системы переписывания правил для преобразования конструкций координации вычислений в многопоточных ...
О моделировании сенсорних сетей средствами високого уровня

Дорошенко, А.Е.; Жереб, К.А.; Шевченко, Р.С. (2006)

Развитие полупроводниковых технологий сделало возможным создание беспроводных сенсорных сетей. Для таких сетей необходимо создание систем моделирования, позволяющих выбирать оптимальные протоколы для каждой прикладной задачи. ...
Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень

Дорошенко, А.Ю.; Хаврюченко, В.Д.; Туліка, Є.M.; Жереб, К.А. (Проблеми програмування, 2016)

Запропоновано підхід до автоматичного перетворення успадкованого коду на мові Fortran для виконання на платформах для хмарних обчислень. Запропоновано архітектуру системи із використанням хореографії веб-сервісів, яка ...
Підвищення продуктивності коду мовою РYТНОN з використанням техніки переписувальних правил

Жереб, К.А. (Проблеми програмування, 2020)

Запропоновано підхід підвищення продуктивності коду, написаного мовою Python, шляхом перетворення фрагментів коду до більш ефективних мов Cython та C++. Використано високорівневі алгебраїчні моделі та техніку переписувальних ...
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители

Андон, Ф.И.; Дорошенко, А.Е.; Жереб, К.А. (Кибернетика и системный анализ, 2011)

Запропоновано розвиток формальних методів проектування, заснований на концепціях алгебраїчного програмування і алгебро-динамічних моделей програм з використанням техніки пере писувальних правил, для автоматизованої розробки ...
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net

Воног, С.Н.; Жереб, К.А.; Кушко, Т.Ю. (2006)

Функции совместной работы и интерактивного взаимодействия в реальном режиме времени являются важной частью многих видов человеческой деятельности, в том числе и обучения. Однако, часто они не могут быть реализованы, ...
Программный инструментарий, основанный на правилах, для автоматизации разработки приложений на платформе Microsoft.NET

Жереб, К.А. (Управляющие системы и машины, 2009)

Рассмотрен программный инструментарий для проектирования и разработки приложений на платформе Microsoft .NET. Описано использование данного инструментария для перехода от последовательных к параллельным многопоточным ...
Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил

Дорошенко, А.Е.; Жереб, К.А. (2009)

Использование графических ускорителей позволяет достичь высокой производительности, однако требует от разработчика низкоуровневого программирования и знания деталей аппаратной и программной платформы. В работе предложен ...
Розпаралелювання програм на Фортрані з використанням техніки переписувальних правил

Дорошенко, А.Ю.; Жереб, К.А.; Туліка, Є.М. (Проблеми програмування, 2012)

Описано підхід до розпаралелювання програм на Фортрані, заснований на використанні техніки переписувальних правил. Для синтаксичного аналізу програмного коду на Фортрані використано засоби компілятора GCC, що дозволяє ...
Система автоматизації проектування цифрових фільтрів зображень

Жереб, К.А.; Єгоров, B.I.; Прохоров, В.Г. (2010)

Описано систему для автоматизованої розробки програм, що належать до предметної галузі цифрової обробки зображень. Система дозволяє створювати бібліотеки готових елементів для даної предметної галузі, а також будувати ...
Средства синтеза параллельных mpi-программ

Дорошенко, А.Е.; Яценко, Е.А.; Жереб, К.А. (2008)

Предложен метод проектирования и синтеза MPI-программ, который основывается на алгеброалгоритмическом подходе. Разработана методика применения системы переписывающих правил для автоматизированной трансформации последовательных ...
Формализованное проектирование эффективных многопоточных программ

Дорошенко, А.Е.; Жереб, К.А.; Яценко, Е.А. (2007)

Предложено совместное использование высокоуровневого инструментария алгеброалгоритмического проектирования, дополненного подсистемой переписывающих правил, а также низкоуровневых профилировщиков для автоматизации проектирования ...
Формалізоване проектування та синтез паралельних програм для відеографічних прискорювачів

Дорошенко, А.Ю.; Бекетов, О.Г.; Жереб, К.А.; Яценко, О.А. (Проблеми програмування, 2013)

Проведено налаштування алгеброалгоритмічного інструментарію на формалізоване проектування та синтез програм, що використовують відеографічні прискорювачі. Продемонстрована ефективність використання багатопроцесорних графічних ...
Формальні та адаптивні методи й інструментальні засоби паралельного програмування

Дорошенко, А.Ю.; Бекетов, О.Г.; Жереб, К.А.; Іваненко, П.А.; Овдій, О.М.; Шевченко, Р.С.; Яценко, О.А. (Проблеми програмування, 2017)

Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці ...

Результати 1-19 з 19

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Жереб, К.А."

Репозиторій DSpace/Manakin

Перегляд за автором "Жереб, К.А."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис